theorem Th23: :: MOEBIUS1:23

for p being Prime holds p is square-free