微分幾何で早速、与えられた曲率を持つ曲線が存在することの証明に使うのだから、たしかに、常微分方程式の解の存在と一意性くらいは、微積の教科書にあってもいい気がする