MetaMath '22

Dokažite da za svaki $n \in \mathbb{N}$ vrijedi $$ 1^3+2^3+\ldots+n^3=\left(\frac{n(n+1)}{2}\right)^2. $$