結果 : does the initial value problem have a unique solution