De lo contrario formula_6 es inconsistente y se expresa Incformula_6.