theorem Th63: :: ARYTM_3:63

for r, s being Element of RAT+ st r + s = {} holds
r = {}