theorem Th32: :: FRECHET:32

not REAL? is first-countable