a divides a * b ;
then a lcm (a * b) = |.(a * b).| by LCM1;
hence (a * b) lcm a = a * b ; :: thesis: verum