for G being _finite _Graph st ex S being VertexScheme of G st S is perfect holds
G is chordal