theorem Th11: :: QC_LANG1:11

for A being QC-alphabet
for k being Nat
for P being QC-pred_symbol of k,A holds the_arity_of P = k