theorem Th14:
  B is quantifiable implies Sub_All(B,SQ) is Sub_universal;
