何を示すことが目的とされているか？
定理2: 常微分方程式y' = f(x,y), y(x0) = y0に対して、解が一意的に存在する条件は、f(x,y)がx,yについてLipschitz条件を満たすことである。

証明: 解の存在性については、Picard-Lindelöfの定理によって示される。ここでは、唯一性を示す。
目的は、常微分方程式y' = f(x,y), y(x0) = y0の解が一意的に存在する条件を示すことである。