be L a lattice
in which N0= is da naturals set with zero included
LCM is the Lowest Common Multiple
GCD is the great common divisor
And i want need to prove that lattice L is dristibutive which is
a ∧ (b ∨ c) = (a ∧ b) ∨ (a ∧ c).
In this case i need to prove,
GCD(a,LCM(b,c)) == LCM(GCD(a,b),GCD(a,c))