theorem :: MOEBIUS1:42

Sum (SMoebius (NatDivisors 1)) = 1