Euler's theorem
The converse of Euler's theorem is also true: if the above congruence is true, then formula_3 and formula_4 must be coprime.