Y by
Given two odd positive integers
are coprime. Consider the sequence
given by
. Suppose that there exist positive integers
such that
is even and
is an integer. Prove that the numerator in its simplest form of
is an odd integer greater than
.








