theorem Th102: :: CHORD:103

for G being _finite chordal _Graph ex v being Vertex of G st v is simplicial