sentences:  Several proofs of Levi's Lemma for traces can be found in "The Book of Traces".A monoid in which Levi's lemma holds is said to have the equidivisibility property.The free monoid of strings and string concatenation has this property (by Levi's lemma for strings), but by itself equidivisibility is not enough to guarantee that a monoid is free.