theorem Th7: :: MSSUBLAT:7

for U1, U2 being Universal_Algebra st U1 is SubAlgebra of U2 holds
MSSign U1 = MSSign U2