Presupunem doua numere naturale
a;b∈N astfel incat
d/a si d/b ⇔
a=d·k1
b=d·k2 unde k1;k2∈N
a+b=
d·k1+d·k2=
d(k1+k2)
Dar d/d ⇒d divide si pe d(k1+k2) pentru orice k1;k2∈N.
In concluzie daca doua numere naturale sunt divizibile cu acelasi numar ,atunci si suma lor este divizibila cu acel numar.