The cluster complex of an hereditary artin algebra

We show that the cluster complex of an arbitrary hereditary artin algebra has the structure of an abstract simplicial polytope. In particular, the cluster-tilting objects form one equivalence class under mutation.