Otra forma de demostrar que formula_405 es el argumento siguiente: Sea formula_418.