https://9dok.net/document/yj7vl9e5-typische-anwendungen-des-lemmas-von-zorn.html