Equivalence of Definitions of Second Pentagonal Number

Proof
Let $\map {P'} n$ denote the $n$th second pentagonal number.

We have:

But:
 * $\map {P'} n = \dfrac {n \paren {3 n + 1} } 2$

is the definition of a second pentagonal Number by definition 2.

Hence the result.