For a,b∈ℕ two positive natural numbers, their least common multiple LCM(a,b)∈ℕ is the smallest natural number that is divisible by both a and b, i.e. such that there exist n a,n n∈ℕ with n a⋅a=n b⋅b=LCM(a,b).