Beweis jetzt tatsächlich fertig gemacht.
Definition von Charakteren hinzugefügt.