Sorgenfrey-line is T_1