 Also, uniqueness theorems like the Lipschitz one above do not apply to DAE systems, which may have multiple solutions stemming from their (non-linear) algebraic part alone.The theorem can be stated simply as follows.For the equation and initial value problem