theorem Th62: :: ARYTM_3:62

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