Let (S,∗)(S, \mathbin{*})(S,∗) be a left-cancellative LD-system, let BnB_nBn be the braid group on nnn strands, and let…