Jabarkan Teorema Chen–Fox–Lyndon dari Faktorisasi monoid

Kata Lyndon atas huruf yang tersusun total  adalah kata yang secara leksikografis lebih kecil dari semua rotasinya.  Teorema Chen–Fox–Lyndon menyatakan bahwa setiap untai dapat dibentuk dengan cara yang unik dengan menggabungkan urutan kata Lyndon yang tidak bertambah.  Oleh karena itu  menjadi himpunan satuan  untuk setiap kata Lyndon , dengan himpunan indeks  dari kata-kata Lyndon yang diurutkan secara leksikografis, kita memperoleh pemfaktoran .  Pemfaktoran seperti ini dapat ditemukan dalam waktu linear.