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