theorem Th8: :: URYSOHN2:8

for A being non empty Interval
for x being Real st x <> 0 & A is closed_interval holds
x ** A is closed_interval