theorem Th33: :: FRECHET:33

REAL? is Frechet