In paper [1], Zeilberger presented an approach to special functions identities, besides providing a general mathematical framework for the proof machinery, which leads to mathematically and algorithmically challenging questions such as elimination in noncommutatire operator algebras (Weyl algebra). By the impetus of this approach, we study the elimination under the shift operators.