Du ziehst aus dem Beweis eine Lehre. Wenn Du aus dem Beweis eine Lehre ziehst, so muß ihr Sinn unabhängig sein vom Beweis, denn sonst hätte sie nie vom Beweis getrennt werden können. Ähnlich kann ich die Konstruktionslinien in einer Zeichnung wegwischen & das Übrige stehen lassen.