theorem :: RELSET_3:61

for q1, q2 being Rational holds (multRel (RAT,q1)) * (multRel (RAT,q2)) = multRel (RAT,(q1 * q2))