theorem Th10: :: URYSOHN2:10

for A being non empty Interval
for x being Real st x < 0 & A is right_open_interval holds
x ** A is left_open_interval