for G being complete _Graph
for v being Vertex of G holds v is simplicial