theorem Th50: :: ARYTM_3:50

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