<*G1,G2,G3*> = (<*G1*> ^ <*G2*>) ^ <*G3*> by FINSEQ_1:def 10;
hence <*G1,G2,G3*> is chordal ; :: thesis: verum