theorem Th21: :: NUMBER15:21

for n being Nat
for p being Prime st n is positive & p is prime & p divides n holds
ex k, m being positive Nat st
( 0 < k & n = m * (p |^ k) & m,p are_coprime )