Michael Spivakさんの逆関数定理の証明ですが,非常に巧妙な証明ですね.

逆関数定理の本質的に異なると考えられる証明ってどれくらいあるんですか?