Iz x+y1=y+z1 množenjem s yz imamo xyz+z=y2z+y, odnosno
yz(x−y)=y−z.
Budući da su x i y različiti, dijeljenjem s x−y dobivamo
yz=x−yy−z.
Iz preostale dvije jednakosti analogno je
zx=y−zz−xixy=z−xx−y.
Množenjem sada slijedi
yz⋅zx⋅xy=x−yy−z⋅y−zz−x⋅z−xx−y,
odakle je x2y2z2=1.