A proof structure that uses induction. base case Prove some base case n_0 inductive step Prove that, given n, n_{j} \implies n_{j+1}.
A proof structure that uses induction. base case Prove some base case n_0 inductive step Prove that, given n, n_{j} \implies n_{j+1}.