提供された次のテキストに基づいて質問をする
定理2: 常微分方程式y' = f(x,y), y(x0) = y0に対して、解が一意的に存在する条件は、f(x,y)がx,yについてLipschitz条件を満たすことである。

証明: 解の存在性については、Picard-Lindelöfの定理によって示される。ここでは、唯一性を示す。
1. 一意的に存在する条件は何か？
2. 常微分方程式y' = f(x,y), y(x0) = y0のフォーマットで、解が一意的に存在する条件は何か？
3. どの定理によって解の存在性が示されるか？
4. どの条件を満たせば常微分方程式の解が一意的に存在するか？
5. 何を示すことが目的とされているか？