"inverse mapping theorem" Deutsche bedeutung