theorem Th3: :: URYSOHN2:3

for A being Subset of REAL st A <> {} holds
0 ** A = {0}