Normal implies completely regular: Difference between revisions