for S being non empty non void ManySortedSign
for A being non-empty trivial MSAlgebra over S
for T being EqualSet of S holds A |= T by Th31;