R^1 is first-countable by Th20;