theorem :: INT_2:18

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