Their analyticity properties are identical to those of G ( k , ω ω n ) and G R ( k , ω ω ) defined in the translationally invariant case. The proof follows exactly the same steps, except that the two matrix elements are no longer complex conjugates.