Sea formula_7 un dominio tal que dos elementos no nulos siempre tienen MCD.