Momentum conservation allows the final term to be written as (up to possible factors of the volume) | ⟨ ⟨ α α ′ ∣ ∣ ψ ψ † † ( k ) ∣ ∣ α α ⟩ ⟩ | 2 , which confirms the expressions for the Green functions in the spectral representation.