theorem Th27: :: ALGSTR_4:27

for X, Y being set st X c= Y holds
free_magma_carrier X c= free_magma_carrier Y