Exercice 2, § 3

Avec les notations de la prop. 2 de I, p. 28, on suppose que la relation [a, y] = 0 pour tout y \in F entraîne a = 0 dans E. Dans ces conditions, si g_i (0 \leq i \leq n) sont n + 1 fonctions vectorielles à valeurs dans E, définies dans un intervalle I de \mathbf{R} et telles que, pour toute fonction vectorielle f à valeurs dans F et n fois dérivable dans I, on ait identiquement

les fonctions g_i sont identiquement nulles.