sentence1: the existence of a deformation quantization of general symplectic manifolds was first established by de wilde and lecomte .
sentence2: the first proof of the existence of star product for any symplectic manifold was given by de wilde and lecomte .