---
title: "proof by induction"
source: https://www.jemoka.com/posts/kbhproof_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}\).
