Sea formula_3 un grupo de orden 4, que no sea cíclico.