Dado ese caso, se dice que el par formula_171 es bien fundado.