Sea formula_6 un conjunto de fórmulas consistentes y que poseen testigos.