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