  The verification theorem serving as an optimality condition for the optimal
control problem, has been expected and studied for a long time. The purpose of
this paper is to establish this theorem for control systems governed by
stochastic evolution equations in infinite dimensions, in which both the drift
and the diffusion terms depend on the controls.
