https://9lib.co/document/zx5x37xo-the-inverse-function-theorem.html