Let $f : X \to Y$ be a D18: Map such that
| (i) | $f^{-1} : Y \to X$ is an D216: Inverse map for $f$ |
Then $f^{-1}$ is an D976: Invertible map.
| (i) | $f^{-1} : Y \to X$ is an D216: Inverse map for $f$ |