Der Beweis, den ich gestern spontan begonnen, aber nicht ganz zu Ende gebracht hatte, findet sich jetzt im Skript.