Definition:Least Common Multiple of Integers