Diffbarkeit der Umkehrfunktion