theorem Th4: :: NIVEN:4

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