4D.2.5 Lokal existens av implicit definierad funktion. Två definierande ekvationer.