theorem Th33: :: MONOID_0:33

for G being non empty multMagma
for H being non empty SubStr of G st G is associative holds
H is associative