この1階常微分方程式の解の存在は、ピカール・リンデレフの定理によって保証されている（もっと一般に微分幾何におけるフロベニウスの定理によって与えられる）。
这个一阶常微分方程的解的存在性由皮卡-林德洛夫定理给出（更一般的，这种曲线的存在性是弗罗贝尼乌斯定理给出）。