“…(If, for each w ∈ A * , α, w = α w and β, w = β w , then α β, w = (αβ) w given in (6).) Consider the graded commutative K-algebra K[T ] (graded by the degree of forests, or, more generally, by the weight of forests if A is a weighted alphabet), where the unity element is represented by the empty forest, and each monomial t 1 · · · t m with t 1 , .…”