Supongamos que haya otro elemento de orden 4, digamos formula_57 tal