This fact was first proved by Robert Sorgenfrey.
这个事实在被 Robert Sorgenfrey 首次证明时是很令人惊讶的。