Cauchy–Lipschitz theorem