Notar que si formula_7, entonces tendremos que formula_8 es conexo si y sólo si formula_9 implica formula_10.