Es seien a , b ∈ N {\displaystyle {}a,b\in \mathbb {N} } zwei teilerfremde natürliche Zahlen.
Dann gibt es ganze Zahlen r , s ∈ Z {\displaystyle {}r,s\in \mathbb {Z} } mit r a + s b = 1 {\displaystyle {}ra+sb=1} .