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 $\operatorname{nkoll} \left ( F_1,F_2,F_3 \right )$ gilt,

dann ist $\beta$ die Identität.