Se puede demostrar que si formula_219 es