theorem Th65: :: MOEBIUS1:65

for k, n being non zero Nat holds
( ( k divides n & k is square-free ) iff k divides Radical n )