\( x^{n} \) ≡ x (mod \( x^{2} \)  − x)
<=>  \( \exists k \in \mathbb{N}        x^{n} - x =  k \cdot (x^2 - x )\)
UND   \(  x^{n} - x =  k \cdot (x^2 - x )\)
<=>   \( x \cdot ( x^{n-1} - 1)  =  k \cdot x \cdot (x - 1 )\)
<=>  \(  x^{n-1} - 1  =  k  \cdot (x - 1 )\)
Für n=1 klappt das mit k=0 und für größere n
 ist es eine Folge von
(a-b) | (a^n - b^n)  mit b=1 .