4D.1.6 Lokal existens av inversfunktion.