結果 : statement of existence and uniqueness theorem for initial value problems