proof by induction
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}.