Ratkaisu: Yhtälö pätee triviaalisti nolla-alkiolla, joten oletetaan jatkossa, että $\text{[math]}$ . $\text{[math]}$ on äärellisenä kokonaisalueena kunta, joten $\text{[math]}$ on multiplikatiivinen ryhmä, jossa on $\text{[math]}$ alkiota. Silloin Lagrangen lauseen toisen seurauslauseen mukaan $\text{[math]}$ , eli $\text{[math]}$ .