theorem :: SIMPLEX0:16

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