theorem :: ALGSTR_4:16

for X being set holds free_magma (X,0) = {} by Def13;