Cauchy-Lipschitz Theorem for Implicit ODEs: Existence and Uniqueness