https://9dok.net/document/qo519875-succ-schritt-induktion-beweis-number-ψ-t-hp.html