theorem :: INT_2:19

for a, b, c being Integer st a divides c & b divides c holds
a lcm b divides c by Def1;