- 1 is not Element of NAT ;