theorem Th27: :: FRECHET:27

REAL is Point of REAL?