Supongamos que para formula_3, la diferencial formula_4 es invertible y que formula_5.