Teorema 1.22: "Todo subgrupo de un grupo cíclico es cíclico."