Sea formula_7 un dominio cualquiera donde dos elementos no nulos cualesquiera tienen un mcd.