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