Satz mit Beweis und App aus nkollfix folgt id

Satz:

Es sei $\beta$ eine Bewegung.

Wenn $F_1,F_2$ und $F_3$ Fixpunkte von $\beta$ sind

und $\mathrm{nkoll}(F_1,F_2,F_3)$ gilt,

dann ist $\beta$ die Identität.