theorem :: MSUHOM_1:24

for U1, U2 being Universal_Algebra
for h being Function of U1,U2 st U1,U2 are_similar & MSAlg h is_isomorphism MSAlg U1,(MSAlg U2) Over (MSSign U1) holds
h is_isomorphism by Th23, Th22;