theorem Th30: :: ALGSTR_4:30

for X being set holds X = { (w `1) where w is Element of (free_magma X) : length w = 1 }