80.35 An example of strong induction