Text this: Diagonalization of a self-adjoint operator acting on a Hilbert module