Ist Dreieck ABC ein Dreieck mit den Standardbezeichnungen, in dem gilt:

a^2 + b^2 = c^2

dann hat das Dreieck bei C einen rechten Winkel.

(...wenn der Satz des Pythagoras vorher so formuliert wurde:

Ist Dreieck ABC ein Dreieck mit den Standardbezeichnungen, welches bei C einen rechten Winkel hat, dann gilt: a^2 + b^2 = c^2)