reconsider A = the carrier of M as Subset of M by ZFMISC_1:def 1;
take A ; :: thesis: A is stable
for v, w being Element of M st v in A & w in A holds
v * w in A ;
hence A is stable by Def10; :: thesis: verum