
theorem
  for S being non void non empty ManySortedSign, A being MSAlgebra over
  S holds A tolerates A;
