I need a proof that the set of natural numbers with the the relationship of divisibility form a distributive lattice with gcd as AND and lcm as OR.
I know it can be shown that a AND (b OR c) >= (a AND b) OR (a AND c) for a general lattice, and that if we can show the opposite, that a AND (b OR...