theorem Th21: :: MONOID_0:21

for G being multMagma
for M being MonoidalSubStr of G holds M is SubStr of G