Image réciproque dans R^n d'une fonction C1

Soit f:Rn->Rn, C1, dfx inversible pour tout x et lim(||x||->+inf) ||f(x)|| = +inf Alors pour tout y dans Rn, f-1(y) est fini non vide. GOU 3èd p.371 Utilise Théorème Inversion Locale + compacité + connexité. Très complet sur ces 3 notions.