theorem Th48: :: ARYTM_3:48

for x being Element of RAT+ holds x *' {} = {}