need to check strong induction proof

Printable View