reconsider B = A as MSSubAlgebra of A by MSUALG_2:6;
take B ; :: thesis: B is feasible
thus B is feasible ; :: thesis: verum