theorem Th10: :: TOPALG_2:10

I[01] is interval by Th9, TOPMETR:20;