set A = the non-empty integer-array VarMSAlgebra over S;
take the non-empty integer-array VarMSAlgebra over S ; :: thesis: the non-empty integer-array VarMSAlgebra over S is integer-array
thus the non-empty integer-array VarMSAlgebra over S is integer-array ; :: thesis: verum