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