Трябва да докажем, че
ако [tex]f(x_1,x_2,\ldots,x_n)[/tex], [tex]n\ge 3[/tex] е квадратична форма над крайно поле [tex]F[/tex], то уравнението [tex]f(x_1,x_2,\ldots,x_n)=0[/tex] има нетривиално решение в [tex]F[/tex]. Това е добре известно твърдение, което може да се намери във всяка хубава книжка