Topology theorems