$x,y>1$ ve $ebob(x,y)=1$ (aralarında asal) doğal sayılar olsun.
$(x-1)y,\ldots, 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.