Picard–Lindelöf Theorem

Picard's Existence Theorem

Theorem on existence and uniqueness of solutions to first-order equations with given initial conditions.