L and G

L : Least common multiple

M : Multiples of the L

G : Greatest common divisor

g : Divisors of the G

Theorems:

i ) L → ∀M

ii) ∀g → G