Jabarkan Ekuidivisibilitas dari Monoid bebas

Monoid bebas adalah equidivisible: jika persamaan  mn  =  pq  berlaku, maka terdapat  s  sehingga m = ps, sn = q (contoh lihat gambar) atau ms = p, n = sq. Hasil ini juga dikenal sebagai lemma Levi.

Sebuah monoid bebas jika dan hanya jika bertingkat dan equidivisible.