An extension of Ito's formula for elliptic diffusion processes · Study