Legyen az egyik szám $a$, a másik $b$. Feltehetjük, hogy $a\le b$.
Ha $a$ osztója $b$-nek, akkor a legnagyobb közös osztójuk $a$, a legkisebb közös többszörösük $b$. Ezért ezek összege éppen egyenlő a számok összegével.