theorem Th41: :: MOEBIUS1:41

NatDivisors 1 = {1}