https://9dok.net/document/zkw1mv28-b-f-ist-surjektiv-beweis-struktur-sei-y.html