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