set k = the_arity_of P;
reconsider P9 = P as QC-pred_symbol of (the_arity_of P) by QC_LANG3:1;
P9 ! ll is Element of CQC-WFF ;
hence P ! ll is Element of CQC-WFF ; :: thesis: verum