Page "Separable space" Paragraph 31

* From the above property, one can deduce the following: If X is a separable space having an uncountable closed discrete subspace, then X cannot be normal.

This shows that the Sorgenfrey plane is not normal.