theorem Th30: :: TOPGEN_3:30

omega in continuum