theorem Th53: :: TOPGEN_5:53

Sorgenfrey-line is T_1