for n being Nat st n is square-free holds
for p being Prime holds p |-count n <= 1