[7,7] in { [k,l] where k, l is Element of NAT : 7 <= k } ;
hence not QC-pred_symbols is empty ; :: thesis: verum