A combinatorial fact about free algebras