theorem Th17: :: URYSOHN2:17

for A being non empty Interval
for x being Real holds x ** A is Interval