Structural Math Induction