Das kann man so sehen (auch wenn das komplett dämlich ist so zu machen...)
Wir haben zunächst
$$ x_1-x_2=y_1-y_2\\x_2-x_1=y_2-y_1\quad |:(-1) $$
$$ x_1-x_2=y_1-y_2\\x_1-x_2=y_1-y_2 $$
Jetzt setze ich beide Gleichungen gleich:
$$ x_1-x_2=y_1-y_2=y_1-y_2=x_1-x_2 \Leftrightarrow x_1-x_2=x_1-x_2$$
Und jetzt such es dir aus, ob du x_2 oder x_1 auf beiden Seiten abziehst.
Damit ist dann (Überraschung) x_1=x_1.
Ist zwar wahr, aber für die weitere Erkenntnis nutzlos.
Man kann somit dann auch auf die letzten drei anderen Gleichheiten kommen.