Reading material
Pages 219-224.
Additional material
Proof by complete induction in
PostScript
and
PDF
.