亀谷俊司著『解析学入門』を読んでいます。

不動点定理を使って、陰関数の定理、逆関数の定理を証明しているようです。

Tietze の連続関数延長定理とかいう定理も書いてありますね。