theorem :: MSUALG_9:29

for S being non empty non void ManySortedSign
for A being non-empty MSAlgebra over S
for C being MSCongruence of A st C = [| the Sorts of A, the Sorts of A|] holds
the Sorts of (QuotMSAlg (A,C)) = { the Sorts of A}