Teorema 1.23 (Teorema de clasificación de grupos cíclicos): "Todo grupo cíclico infinito es isomorfo al grupo formula_275, y todo grupo cíclico finito de orden formula_60 es isomorfo al grupo formula_314."