theorem Th55: :: TOPGEN_1:55

REAL is non boundary Subset of R^1