>>600

訂正します：

さい：

A ⊂ R^n を開集合とする。
f : A → R^n を単射かつ C^r 級とする。
行列 Df(x) は A 上で正則であるとする。

このとき、 f(A) ⊂ R^n は開集合であり、逆関数 g : f(A) → A は C^r 級である。