theorem Th32:
  for A being trivial non-empty MSAlgebra over S
  for T being EqualSet of  S
  holds A |= T
  by Th31;
