Das Umformungsprinzip für Gleichungen.