let B be A -Image MSAlgebra over S; :: thesis: B is Equations (S,A) -satisfying
A is Equations (S,A) -satisfying by Th54;
hence B is Equations (S,A) -satisfying ; :: thesis: verum