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}\).