I am running into some trouble proving this statement:

There is a square-root function in a neighborhood of the identity matrix in .

Basically I need to show that there is a function from a neighborhood of into , with , such that for all .

I know that I can apply the inverse-function theorem with . But I am unsure where to begin.