theorem Th32: :: BORSUK_4:35

for r being Real holds
( r in the carrier of I(01) iff ( 0 < r & r < 1 ) )