Köszönöm szépen a megoldást, már látom, hogy  nem véletlenül akadtam el. Eleminek látszik a levezetés, a Rose könyvet meg majd letöltöm a kvadratikus formák miatt, remélem sikerül megértenem a lemmát. Egyébként a feladat úgy jött, hogy hülyeségből megnéztem, hogy vajon a ,,binomiális Fermat-sejtés"-nek mik a megoldásai  k=2-re.(x,y,z legalább 2)

Az egyenlet tehát binom(x,k)+binom(y,k)=binom(z,k) volt.

Gondolom ezt már mások is vizsgálták, gondoltam sikerül elütnöm az időt azzal, hogy megnézem k=2-re, de már ez is meghaladta a képességeim ;)