Entonces existen abiertos formula_6 tales que formula_7, formula_8 y formula_9 es una función biyectiva por lo que la inversa formula_10 de formula_11 es C y por lo tanto formula_12.