Sea ${p}$ un primo. $a,b,c\in\mathbb Z,\gcd(a,p)=\gcd(b,p)=\gcd(c,p)=1.$ Pruebe que: $\exists x_1,x_2,x_3,x_4\in\mathbb Z,| x_1|,|x_2|,|x_3|,|x_4|<\sqrt p,$ satisfaciendo $$ax_1x_2+bx_3x_4\equiv c\pmod p.$$