To\"en's formula and Green's formula

Let $\mathcal {A}$ be a finitary hereditary abelian category. In this note, we use the associativity of the derived Hall algebra associated to the bounded derived category of $\mathcal {A}$, whose multiplication structure constants are given by the so-called To\"en's formula, to give a simple proof of Green's formula associated to Hall algebras.