Stochastic representation of diffusions corresponding to divergence form operators

We show that a diffusion process X corresponding to a uniformly elliptic second-order divergence form operator is a Dirichlet process for each starting point. We establish also the Stratonovich integral with respect to X and prove the Itô formula.