theorem :: RELSET_3:29

for q, q1 being Rational holds [q1,(q1 + q)] in addRel (RAT,q)