theorem Th33: :: MOEBIUS1:33

for n being Nat st n is square-free holds
Moebius n <> 0