Can't understand a proof: Let $a,b,c$ be integers. If $a$ and $b$ divide $c$, then $lcm(a,b)$ also divides $c$
It follows from the (general) fact that if $a$ divides $b$ and $c$, then $a$ also divides $b-c$, so in this case:
$c = q.lcm(a,b) + r$ and $0 \leq r < lcm(a,b)$
$c - q.lcm(a,b) = r$
Which means that both $a$ and $b$ divides $r$, but $0 \leq r < lcm(a,b)$. So $r$ must be equal to $0$, and we get:
$c = q.lcm(a,b)$, as you wish.
The statement needs no proof, given that you define things properly. See also: partially ordered set, lattice, semilattice, join, meet.
Definition 0. Given $a,b \in \mathbb{N},$ lets say that $a$ divides $b$ iff there exists $k \in \mathbb{N}$ with $ka=b$. We denote this $a \mid b$.
Exercise: Show that $\mid$ is a partial order on $\mathbb{N},$ and verify that $1$ is the least element and $0$ is the greatest element with respect to this order.
Definition 1. Given $a,b \in \mathbb{N},$ the lowest common multiple of $a$ and $b$, denoted $\mathrm{lcm}(a,b),$ is the unique natural number such that for a generic natural number $n$, we have the following equivalence.
$$(a \mid n) \wedge (b \mid n) \leftrightarrow \mathrm{lcm}(a,b) \mid n$$
Exercise: Show that $\mathrm{lcm}$ is a well-defined function. (Technically, what' you're trying to do is to show that binary joins exist in the poset of natural numbers ordered by division.)