theorem Th17: :: TOPGEN_3:17

card RAT = omega