Es seien A,B,C drei paarweise verschiedene Punkte mit
(*) Zw(A,B,C).
zu zeigen:
(**) Zw(A′,B′,C′)
Wir übersetzen zunächst (*):
|AB|+|BC|=|AC|