theorem :: NEWTON02:2

for t, u, v, z being Integer st t divides z & u divides v holds
t * u divides z * v by LmGCD;