<%c1,c2,c3%> = (<%c1%> ^ <%c2%>) ^ <%c3%> by AFINSQ_1:def 6
.= <%c1,c2%> ^ <%c3%> by AFINSQ_1:def 5 ;
hence <%c1,c2,c3%> is Cardinal-yielding ; :: thesis: verum