https://9dok.net/document/y8g2grrr-kapitel-grundlegende-resultate-zu-monotonen-operatoren.html