x,y>1 ve ebob(x,y)=1 (aralarında asal) doğal sayılar olsun.
(x−1)y,…,2y,y (x−1 tane) doğal sayılarını düşünelim.
Bunların hiçbiri (x,y aralarında asal olduğundan) x e tam bölünmez.
Ayrıca herhangi ikisinin farkı da, aynı nedenle, x e tam bölünmez.
Öyleyse bu sayılar, modx birbirinden farklı ve tümü ≡∖0modx dir.
Öyleyse, bunlardan (sadece) biri ≡1modx olur.
(Grup dilinde: f:(Zx,+)→(Zx,+),f([n])=[yn] bir 1-1 homomorfizma ve grup sonlu olduğu için izomorfizmadır. Aslında homomorfizma olması da önemli değil, [0]↦[0] olması yetiyor.)
cy≡1modx olsun. 1≤c<x olduğundan, 1≤x−c<x olur.
a=x−c ve b=cy−1x olsun. a,b∈N+ olur.
bx=cy−1 ve bunun sonucu olarak, bx=(x−a)y−1=xy−ay−1 ve düzenlenirse
bx+ay+1=xy elde edilir. Her iki taraf xy ye bölündüğünde, ax+by+1xy=1 elde edilir.
EK: a ve b nin biricik olduğu da, kolayca, gösterilebilir.