Theorem relating to sums of even powers of the natural numbers.

From MaRDI portal
Publication:1533065