theorem :: CIRCCOMB:18

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