Let A and A be non-negative self-adjoint operators in a separable Hilbert space such that its form sum A is densely defined. It is shown that the Trotter product formula holds for imaginary times in the A -norm, that is, one has%%\begin {displaymath}