theorem :: MMLQUER2:12

for R, R1, R2 being Relation holds (R \, R1) \, R2 = R \, (R1 \, R2)