Como cada rotación de formula_97 (diferente de la rotación nula) tiene exactamente dos puntos fijos, y como formula_79, el cual es isomorfo a formula_39, es enumerable, existe un número finito de puntos de formula_97 que son fijos para alguna rotación en formula_79, llámese a este conjunto formula_129.