微分方程式の解の存在と一意性の証明に、指数関数が登場しますが、なんか話が良く出来すぎているように思います。

もっと定理の仮定を緩められるんじゃないですか？