結果 : uniqueness theorem for initial value problems