Az $a_1$, $a_2$, $\text{...}$, $a_n$ pozitív egészek legnagyobb közös osztója $1$. Igazoljuk, hogy véges sok kivétellel minden pozitív egész előáll $a_1{x}_1+\text{...}+a_n{x}_n$ alakban, ahol $x_1$, $\text{...}$, $x_n$ nemnegatív egészek.