Existence of Lowest Common Multiple/Proof 2

Theorem
Let $a, b \in \Z: a b \ne 0$.

The lowest common multiple of $a$ and $b$, denoted $\operatorname{lcm} \left\{{a, b}\right\}$, always exists.

Proof
Either $a$ and $b$ are coprime or they are not.

Let:
 * $a \perp b$

where $a \perp b$ denotes that $a$ and $b$ are coprime.

Let $a b = c$.

Then:
 * $a \mathop \backslash c, b \mathop \backslash c$

where $a \mathop \backslash c$ denotes that $a$ is a divisor of $c$.

Suppose both $a \mathop \backslash d, b \mathop \backslash d$ for some $d \in \N_{> 0}: d < c$.

Then:
 * $\exists e \in \N_{> 0}: a e = d$
 * $\exists f \in \N_{> 0}: b f = d$

Therefore:
 * $a e = b f$

and from :
 * $a : b = f : e$

But $a$ and $b$ are coprime.

From:

and:

it follows that $b \mathop \backslash e$

Since:
 * $a b = c$

and:
 * $a e = d$

it follows from that:
 * $b : e = c : d$

But $b \mathop \backslash e$ and therefore:
 * $c \mathop \backslash d$

But $c > d$ which is impossible.

Therefore $a$ and $b$ are both the divisor of no number less than $c$.

Now suppose $a$ and $b$ are not coprime.

Let $f$ and $e$ be the least numbers of those which have the same ratio with $a$ and $b$.

Then from :
 * $a e = b f$

Let $a e = c$.

Then $b f = c$.

Hence:
 * $a \mathop \backslash c$
 * $b \mathop \backslash c$

Suppose $a$ and $b$ are both the divisor of some number $d$ which is less than $c$.

Let:
 * $a g = d$

and:
 * $b h = d$

Therefore:
 * $a g = b h$

and so by :
 * $a : b = f : e$

Also:
 * $f : e = h : g$

But $f, e$ are the least such.

From :
 * $e \mathop \backslash g$

Since $a e = c$ and $a g = d$, from :
 * $ e : g = c : d$

But:
 * $e \mathop \backslash g$

So $c \mathop \backslash d$

But $c > d$ which is impossible.

Therefore $a$ and $b$ are both the divisor of no number less than $c$.