Igazoljuk, hogy minden négynél nagyobb kettő-hatvány felírható két páratlan négyzetszám különbségeként. Például 32=81-49.