Inductive proof

Summary