https://9dok.net/document/y4wrxvgv-a-mathematical-induction-a-structural-induction-a-summary.html