inductive proof