formula_7 es la primitiva de formula_8 que es cero para formula_9; formula_10 es la primitiva de formula_8 que es cero para formula_12.