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