theorem Th18: :: ALGSTR_4:18

for X being set holds free_magma (X,2) = [:[:X,X:],{1}:]