theorem Th53: :: TOPGEN_1:53

RAT is boundary Subset of R^1