theorem Th10: :: MSUHOM_1:10

for U1, U2 being Universal_Algebra st U1,U2 are_similar holds
MSSign U1 = MSSign U2