Neka je p=a+b1=b+c1=c+a1. Treba dokazati da je p=−abc.
Množenjem ovih jednakosti s b, c, a redom, dobivamo
ab+1=pb,bc+1=pc,ca+1=pa,
a njihovim oduzimanjem jednakosti:
b(a−c)=p(b−c),c(b−a)=p(c−a),a(c−b)=p(a−b).
Množenjem ovih triju jednakosti dobivamo
abc(a−c)(b−a)(c−b)=p3(b−c)(c−a)(a−b).(∗)
Iz danih jednakosti dobivamo
a−bb−cc−a=c1−b1=bcb−c,=a1−c1=cac−a,=b1−a1=aba−b,
te množenjem
(a−b)(b−c)(c−a)=(abc)2(a−b)(b−c)(c−a).(∗∗)
Ako bi dva od brojeva a, b, c bili jednaki, bili bi jednaki sva tri. Zaključujemo da su dani brojevi međusobno različiti, tj. da je (a−b)(b−c)(c−a)=0.
Sada iz (∗∗) dobivamo abc=±1.
Iz (∗) je p3=−abc, tj. p3=∓1, pa zaključujemo p=∓1, te konačno p=−abc.