<*G1,G2*> = <*G1*> ^ <*G2*> by FINSEQ_1:def 9;
hence <*G1,G2*> is chordal ; :: thesis: verum