for G being _trivial _Graph
for v being Vertex of G holds v is simplicial ;