proving (by induction)

Printable View