theorem Th102: :: NUMBER14:102

for n being Nat
for i, j being Integer
for p being Prime st i,j are_coprime & p |^ n divides i * j & not p |^ n divides i holds
p |^ n divides j