theorem Th35: :: MONOID_0:35

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