Presupunem ca suntem familiari cu faprul ca
este corp, iar
.
Daca
c=d=0 problema este rezolvata; presupunand prin absurd contrariul, rezulta
Adica, putem scrie
. Ridicand la patrat se obtine
In mod necesar
x=0 sau
y=0; ambele cazuri conduc usor la o contradictie.