for a, b, c, d being Nat st a divides c & b divides d holds
a * b divides c * d