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, \mod x birbirinden farklı ve tümü \equiv\!\!\!\!\!\backslash\; 0\mod x dir.
Öyleyse, bunlardan (sadece) biri \equiv1\mod x olur.
(Grup dilinde: f:(\mathbb{Z}_x,+)\to (\mathbb{Z}_x,+),\quad 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]\mapsto[0] olması yetiyor.)
cy\equiv1\mod x olsun. 1\leq c<x olduğundan, 1\leq x-c<x olur.
a=x-c ve b={cy-1\over x} olsun. a,b\in\mathbb{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, \frac ax+\frac by+\frac1{xy}=1 elde edilir.
EK: a ve b nin biricik olduğu da, kolayca, gösterilebilir.