<*C1,C2*> = <*C1*> ^ <*C2*> by FINSEQ_1:def 9;
hence <*C1,C2*> is Cycle-like ; :: thesis: verum