theorem Th6: :: URYSOHN2:6

for A being Interval holds 0 ** A is interval