I matematisk analyse gir betingelser for når en funksjon har en lokal invers. Teoremet gir også en formel for den deriverte til den omvendte funksjonen.