theorem Th16: :: TOPGEN_3:16

card INT = omega