I am learning some elementary number theory by myself, and am trying to solve the following:
Prove that the smallest such that must be a divisor of
This what I have so far:
From this we can show that
But it's not clear to me how to show that should be the smallest such integer.
I'd appreciate any help in understanding the above.