A simplified proof of the representation of functionals of diffusions

A simple proof is given for the stochastic integral representation of a Fréchet differentiable functional of the paths of a given diffusion process. The proof begins when the functional depends on one coordinate, then passes to (by appropriate conditioning) a perhaps more difficult case—when the functional depends on a finite number of coordinates—and finally, by approximation, to the general case.