7.10.4 corollary in topology