for x, y being Real holds [.x,y.[ is closed Subset of Sorgenfrey-line