Proof. Let
and
be
-times differentiable function on some interval
. We show by finite induction up to
that, for all
, and
,
Let
the property defined for
and
by
that is
If
, then
, and
thus
is true.
Assume that
is true for some
. So
. Since
are
-times differentiable, and
, then
and
are differentiable on
for all
, so
is differentiable on
, and
This gives
. The induction is done, so
is true up to
. In particular
is true:
is
times differentiable on
, and
□