Oletetaan, että $\text{[math]}$ on äärellinen kokonaisalue, jossa on $\text{[math]}$ alkiota. Osoita, että jokainen $\text{[math]}$ toteuttaa yhtälön

\text{[math]}