Let be continuous. Then defined by is a homomorphism, where and are the fundamental groups of and , respectively, given base points and . So if is a homeomorphism there is a homomorphism which we can show is the inverse of by noting that and are the identity maps.