Let be a Field of Characteristic 0 (e.g., the rationals ) and
let be a Sequence of elements of which satisfies a difference equation of the form
The proof involves embedding certain fields inside the p-adic Number for some Prime , and using properties of zeros of Power series over (Strassman's Theorem).
See also Arithmetic Progression, p-adic Number, Strassman's Theorem