Por lo tanto, si existe un grupo no cíclico formula_1 de