命題
K を実数体または複素数体とする。
E を K 上のBanach空間とする。
I を R の開区間とする。
U を E の開集合とする。
f: I×U → E を次の条件を満たす連続写像とする。

1) f は I×U 上で有界である。
即ち、M ＞ 0 があり、任意の (t, x) ∈ I×U に対して
|f(t, x)| ≦ M となる。

2) C ＞ 0 があり、任意の t ∈ I と任意の x, y ∈ U に対して
|f(t, x) - f(t, y)| ≦ C|x - y| となる。

(t_0, x_0) を I×U の任意の点とする。
I(t_0, a) ⊂ I となる a ＞ 0 を任意にとる。
ここで、I(t_0, a) = {t ∈ R; |t - t_0| ＜ a} である。

B(x_0, r) ⊂ U となる r ＞ 0 を任意にとる。
ここで、B(x_0, r) = {x ∈ E; |x - x_0| ≦ r} である。

d = min(a, r/M) とおく。
J = {t ∈ R; |t - t_0| ＜ d} とおく。
このとき t_0 を含む開区間 J ⊂ I があり
連続写像 g: J → E で次の条件をみたすものが一意に存在する。

a) g(J) ⊂ B(x_0, r)
b) g(t_0) = x_0
c) g(t) は微分方程式 dx/dt = f(t, x(t)) の J における解である。

なお、a) の代わりに g(J) ⊂ U としてもよい。
(続く)