guarantees that
- for a first-order ordinary differential equation with initial condition
- a unique solution exists locally
- if is continuous in and uniformly Lipschitz continuous in. It ensures that if the function is “well-behaved,” a unique solution exists in a neighborhood of the initial point