Green's formula on a Hilbert space

The first Green's formula for integrals on a Hilbert space is proved. Using this formula the authors establish, in particular, the following result.
Theorem. A nondegenerate quadratic functional of a Wiener random process has an infinitely differentiate distribution function.
Bibliography: 9 titles.