$$\left.\begin{array}{rr} f:A\to B \text{ birebir}\Rightarrow \left(\exists h\in A^B\right)(h\circ f=I_A)\\ (g:B\to A)(f\circ g=I_B)\end{array}\right\}\Rightarrow h=g=f^{-1}.$$
İspatın Türkçe meali şu:
$f$ fonksiyonu birebir ise $f$ fonksiyonunun sol tersi vardır. Öte yandan $$\left(g\in A^B\right)(f\circ g=I_B)$$ ise $g$ fonksiyonu $f$ fonksiyonunun sağ tersidir. Bir fonksiyonun hem sağ tersi hem de sol tersi varsa fonksiyonun tersi vardır ve bu sağ ters, sol ters ve ters fonksiyon birbirine eşittir.