Algebraic difference equations. (Q2617490)

Beweis der Satzes: Ist die Differenzengleichung erster Ordnung \[ A[y(x+1),\quad y(x),x]=0 \] vom Grad \(r\) in bezug auf \(y(x+1)\), dann kann es bei der Zerlegung in irreduzible Systeme höchstens \(r\) \(c\)-Systeme geben. Dabei heißt \(c\)-System ein solches, von dem nicht alle Lösungen zugleich Lösungen einer Gleichung nullter Ordnung sind.