4D.2.2 Lokal existens av implicit definierad funktion. En definierande ekvation.