theorem Th95: :: CHORD:96

for G being _finite _Graph st card (the_Vertices_of G) <= 3 holds
G is chordal