User:Prime.mover/Proof Structures/Proof by Strong Induction