Einstieg Implikationen

Wir definieren den Begriff Quadrat wie folgt:

Ein Viereck $\overline{ABCD}$ mit vier gleichlangen Seiten und einem rechten Innenwinkel heißt Quadrat.

Ergänzen Sie:
Wenn $\overline{ABCD}$ ein Quadrat ist, dann...