theorem :: URYSOHN2:4

for x being Real holds x ** {} = {} ;