Algebra will now establish that

(Click "show" at right to see the algebraic details or "hide" to hide them.)

thereby showing that indeed P(n + 1) holds.