https://123dok.net/document/qmj2xk8q-automated-mathematical-induction.html