In the well-known nonlinear system reference
H.Khalil, Nonlinear Systems Third Edition
in chapter 13.Feedback linearization, Khalil developed a theory for feedback linearization(Theorem 13.2)
Does this theorem also implies state controllability of nonlinear systems in the form of x_dot=f(x)+g(x)*u?