rng l c= QC-variables A by XBOOLE_1:1;
hence l is FinSequence of QC-variables A by FINSEQ_1:def 4; :: thesis: verum