エルミート行列
After proving unitarity, we can evaluate a general Gaussian integral involving a Hermitian matrix with eigenvalues ,