formula_20 es la primitiva de formula_21 que es cero para formula_12.