Added induction proof example