結果 : initial value problem has a unique solution