theorem Th54: :: TOPGEN_1:54

IRRAT is boundary Subset of R^1