These theorems ensure that a solution to a second-order ODE exists and is unique in certain conditions.