theorem Th29: :: TOPGEN_3:29

continuum = exp (2,omega)