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