theorem Th22: :: MOEBIUS1:22

1 is square-free