theorem Th12: :: URYSOHN2:12

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