(Invariance of domain)