Verifikation der lokalen Eindeutigkeit für nichtlineare Gleichungen