 That is, there is a solution and it is unique.Since there is no restriction on "F" to be linear, this applies to non-linear equations that take the form "F"("x, y"), and it can also be applied to systems of equations.When the hypotheses of the Picard–Lindelöf theorem are satisfied, then local existence and uniqueness can be extended to a global result.