Para probar que formula_4 falta probar la inclusión recíproca para ello se tiene que: