theorem Th19: :: TREAL_1:19

I[01] is connected