From Tanaka's formula to Ito's formula: The fundamental theorem of stochastic calculus

In this article we give a new proof of Ito's formula inR ⁿ starting from the one-dimensional Tanaka formula. The proof is algebraic and does not use any limiting procedure. It uses the integration by parts formula, Fubini's theorem for stochastic integrals and essential properties of local times.