Dado que el producto de las 4 raíces es formula_76, entonces formula_77 necesariamente.