A szöveg csak Firefox böngészőben jelenik meg helyesen. Használja a fenti PDF file-ra mutató link-et a letöltésre. Elég azt megmutatnunk, hogy az adott kifejezés egyenlő az , , változók egy polinomjának a négyzetével: , más szóval, hogy a alap előállítható , , -ből és állandó egész számokból összeadás és szorzás útján. szimmetrikus függvénye a három változónak. Ezen azt értjük, hogy bármelyik két betűt fölcserélve, értéke változatlan marad. Ezt várjuk -re is. Ennek megmutatását egyszerűbbé teszi, ha -t kifejezzük , és ún. elemi szimmetrikus függvényeivel ‐ amelyekben mind a három változó csak az első hatványon szerepel. Ez a következő három: | | (az melletti index a fokszámot jelöli). Valahányszor , és egészek, mindannyiszor , és is egészek. Ezekkel
tehát | | és itt a föltevés szerint egész szám. Ezt akartuk bizonyítani. A négyzetszám alapja így is írható: |