theorem :: MOEBIUS1:36

for p being Prime
for n being Nat st 1 <= n & n * p is square-free holds
Moebius (n * p) = - (Moebius n)