Inductive proof