https://prinsli.com/mathematical-induction/