Sea formula_6 un conjunto de fórmulas máximamente consistentes testigos.