theorem Th107: :: CHORD:108

for G being _finite _trivial _Graph
for v being Vertex of G ex S being VertexScheme of G st
( S = <*v*> & S is perfect )