Cauchy-Lipschitz theorem