Definitionen als Werkzeug

„$n$ ist gerade“ wird zu $n=2k$ mit $k\in\mathbb Z$; erst diese Darstellung lässt sich gezielt umformen.

Eine direkte Kette startet bei den Voraussetzungen und endet genau in der Definitionsgestalt der Behauptung.

Für „genau dann, wenn“ trennst du Hin- und Rückrichtung sichtbar – keine Richtung darf nur behauptet werden.

Achtung: Division, Wurzel und Quadrieren brauchen Nebenbedingungen. Ein Audit prüft, ob Lösungen verloren gehen oder hinzukommen.