Es más, el conjunto de los puntos de orden finito forma un subgrupo de formula_6 de una de las dos formas siguientes: