同相写像の逆写像は明らかに同相である。