In my differential equations class, the professor used the Picard-Lindelöf theorem to prove that the initial value problem had a unique local solution.