A proof structure that uses induction.base caseProve some base case \(n_0\)inductive stepProve that, given \(n\), \(n_{j} \implies n_{j+1}\).