Let be positive, pairwise relatively prime integers, i.e.

Without loss of generality, show that , where . Note: I have already shown that , so is well-defined. See http://www.mathhelpforum.com/math-he...e-theorem.html

Or give a counterexample.*I know this looks random and complicated, but this result has implications for Carmichael Numbers.