Hello,

Euler's theorem :

Let's multiply :

(1)

Since , we can factorise :

(2), where and hence is aninteger.

Substituting (2) in (1) :

Rearranging :

Since the last bracket is an integer, we can say that

Therefore

(I tried to explain as much as possible, so excuse me if it's too long...)