theorem Th6: :: NUMBER14:6

for n being Nat
for i being Integer
for p being Prime st p divides i |^ n holds
p divides i