結果 : unique solution of initial value problem