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.