NatDivisors 1 = {1}