for P, Q, R being Relation holds P * (R /\ Q) c= (P * R) /\ (P * Q)