Euler's theorem
This follows from Euler's theorem, since, if formula_5, then for some integer , and one has