(1+2+...+n)^2 = 1^3+2^3+...+n^3, \forall n \in \mathbb{N}