結果 : state uniqueness theorem for initial value problem