  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.
