Esto implica una contradicción, pues cuando formula_18, ocurre que formula_19, esto es, formula_20 debería formar y no formar parte de formula_4 al mismo tiempo.