for m, n being Nat st m is square-free & n divides m holds
n is square-free