When is an odd prime
Let , , and be positive integers and is a prime factor of . Let be an odd prime. We suppose , and are each prime to one another and holds. We consider the following equation.
Since and hold,
holds. If the left side is a multiple of , then must hold since and are relatively prime. and do not have common prime factors since holds. Let and be positive integers. We suppose , and are each prime to one another and and hold. By the equation (1),
holds. According to Fermat's little theorem,
holds.
Let and be integers. We suppose and hold.
Let be an integer and
holds.
Let be an integer and holds. By the equation (2),
holds. Let be an integer. holds since and are relatively prime.
On the other hand, by the equation (3),
holds. must hold since does not have as a factor. It becomes a contradiction contrary to the congruent expression (4). From the above, there are no integer solutions to the equation (1) for , and . (Q.E.D.)
When holds
Let , , and be positive integers and is a prime factor of . We suppose , and are each prime to one another. We consider the following equation.
We suppose is even and and are odd since there are no integer solutions to this equation when is even. Since and hold,
holds. If the right side has as a factor, then must be since and are relatively prime. and do not have common prime factors since is odd. Let and be odd positive integers. We suppose , and are each prime to one another and and hold. By the equation (1),
holds. Let and be integers. We suppose and hold.
Let be an integer and
holds. According to Fermat's little theorem,
holds.
Let be an integer and holds. By the equation (6),
holds. Let be an integer. Since and are relatively prime, holds.
On the other hand, by the equation (7),
holds. must hold since is odd. However, it becomes a contradiction contrary to the congruent expression (8). From the above, there are no integer solutions to the equation (5) for , and . (Q.E.D.)
Conclusion
By the proof when is an odd prime and when is as above, when holds, does not have an integer solution for , and .