theorem Th3: :: TOPGEN_6:3

card real-anti-diagonal = continuum