Bah disons que le fait de dire
"- f est continue sur [a;b]"
" - c appartient est compris entre f(a) et f(b) (ou l'inverse)"
"- f est strictement monotone sur [a;b]"
Alors il existe un unique x0 tel que f(x0) = c
Ce "alors" est pas suffisant selon-moi: faut le démontrer par bijection. 