theorem Th38: :: MOEBIUS1:38

for n being Nat holds
( n in SCNAT iff Moebius n <> 0 )