Proof · stepped explainer

Three sum proofs by induction

Same skeleton each time: claim → base → assume → step → conclude. Switch formulas; watch the template stay put.