LCM


THEOREM    \(\forall x \in \mathbb{S} : x \mid \lcm(x, y)\)
dvd_lcm1: ?a dvd lcm ?a ?b

Proof unavailable

THEOREM    \(\forall x \in \mathbb{S} : y \mid \gcd(x, y)\)
dvd_lcm2: ?b dvd lcm ?a ?b

Proof unavailable

Proper supersets