for K being SimplicialComplexStr holds Vertices K = union the topology of K by Lm5;