theorem Th3: :: CLASSES5:3

EvenNAT is denumerable