theorem Th6: :: NEWTON02:6

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