結果 : inverse function theorem proofwiki