Si formula_221 es cíclico, entonces formula_19 es abeliano.