theorem :: MSUALG_1:9

for A being strict Universal_Algebra holds A = 1-Alg (MSAlg A)