Regular Lindelöf Space is Normal Space

(16.8 in Willard) (Tychonoff lemma: Chapter 4 Lemma 1 in Kelly)