線形ODEの大域解の存在の証明初めて追ったけど線形であることが大域的にLipschitz定数を取れることくらいにしか効いてない気がする。なんで狭いクラスに絞っているんだろうか。(主張が親しみやすいから?)