Ennek a sejtésnek/tételnek mi a neve?

Az n. sorban a jobb oldalon

sum(i, i = n^2+1 .. n^2+2*n+1),

a balon

n^3 + (n + 1)^3

szerepel.

A szummának n^2+1-től n^2+2*n+1-ig 2*n + 1 tagja van, tehát a Gauss-formula alapján a jobboldal nem más, mint

(2*n + 1)*(n^2+1 + n^2+2*n+1)/2 = (2*n + 1)*(n^2 + n + 1) = 2*n^3 + 3*n^2 + 3*n + 1.

A bal oldal kibontva pedig nem más, mint

n^3 + (n + 1)*(n^2 + 2*n + 1) = 2*n^3 + 3*n^3 + 3*n + 1,

ami láthatóan egyezik a szummával.

Tehát ami a képen van, az egy tétellé általánosítható, de szerintem nincs külön neve.