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