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