theorem :: FRECHET:21

R^1 is first-countable by Th20;