https://9dok.net/document/qo51edx5-zeigen-beweisprinzip-vollst-andigen-induktion-z-n-nx.html