theorem :: TOPGEN_5:59

Sorgenfrey-line is Tychonoff