Let $f : X \to Y$ be a D216: Inverse map such that
| (i) | $f^{-1} : Y \to X$ is an D216: Inverse map of $f$ |
Then $f^{-1}$ is a D468: Bijective map.
| (i) | $f^{-1} : Y \to X$ is an D216: Inverse map of $f$ |