We extend our fundamental inequality about differentials of G-analytic functions valued in a locally convex space, considering variable increments. We extend another inequality about multilinear mappings and we relate it with ours. Finally, as an application of the first, we give a proof of Frobenius' theorem; we show, in this case, that the use of the classical Cauchy's «calcul des limites» is superfluous.