theorem :: RELSET_3:66

for i1, i2 being Integer holds (multRel (INT,i1)) * (multRel (INT,i2)) = multRel (INT,(i1 * i2))