A note on “A combinatorial proof of associativity of Ore extensions”

Nystedt recently gave a combinatorial proof of the fact that Ore extensions are associative. As part of it he proves that two sets of strings are identical, using a counting argument. We show that the equality of the sets can be proven directly.