theorem Th54: :: LEXBFS:54

for G being _finite chordal _Graph
for L being PartFunc of (the_Vertices_of G),NAT st L is with_property_L3 & dom L = the_Vertices_of G holds
for V being VertexScheme of G st V " = L holds
V is perfect