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