https://123dok.net/document/yr3j7xdp-preuve-par-induction.html