thus the Sorts of (MSAlg A) is V5() ; :: according to MSUALG_1:def 3 :: thesis: verum