Fixed indentation.
Added proof by induction.
Added example for discussion on induction.