for p being Prime holds p is square-free