Template:Topological subgroup property implication