theorem :: TOPGEN_5:44

Sorgenfrey-line is separable by Th43, TOPGEN_1:def 12, TOPGEN_3:17;