>>34
>常微分方程式の解の存在と一意性

これを満足に証明している常微分方程式の教科書は非常に少ない（和洋それぞれ何冊か調べた俺が言う）。
特に、パラメータ付きの連立常微分方程式の場合の解の初期値とパラメータに関する微分可能性。
これが無いと微分幾何は満足に展開出来ない。