for i being Integer
for n being Nat st n <> 0 holds
i divides i |^ n