Modulsubstitution/Interpretation auf Kreisscheibe/Aufgabe

Interpretiere die Modulsubstitution auf der oberen Halbebene als Gruppenoperation auf der offenen Einheitskreisscheibe mit Hilfe von Fakt.