Középnehéz matematikai bizonyítási feladat. Megoldás?

Feltételezem, hogy mivel +n^2 a kifejezés vége, ezért n páros, vagyis n=2k, ekkor úgy lehet csoportosítani, hogy

(-1^2+2^2)+(-3^2+4^2)+...+(-(n-1)^2+n^2)

(3) + (7) + (11) + ... (4k-1)

k=1-re ez prím.

A számtani sorozat összegképlete alapján ez:

(4k+2)*k/2= (2k+1)*k

Ha k>1, akkor 2k+1 szintén 1-nél nagyobb. Ez nem lehet prím, mert két 1-nél nagyobb egész szorzata.