theorem Th49:
  Tarski-Class A is universal
by CLASSES1:23;
