Beweis der Surjektivität getippt.