theorem Th60: :: ARYTM_3:60

for x being Element of RAT+ ex y being Element of RAT+ st x = y + y