  In the present paper we prove a statement closely related to the cyclic
formality conjecture. In particular, we prove that for a divergence-free
Poisson bivector field on R^d, the Kontsevich star-product with the harmonic
angle function is cyclic. We also prove a globalization of this theorem in the
case of arbitrary Poisson manifolds and prove a generalization of the
Connes-Flato-Sternheimer conjecture on closed star-products in the Poisson
case.
