theorem Th16: :: TOPGEN_5:16

card y=0-line = continuum