theorem :: CHORD:65

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