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