theorem Th4: :: CLASSES5:4

OddNAT is denumerable