There is a subtle point left before Wick's theorem is proved—what if more than two of the ϕ ϕ s have the same momentum? If it's an odd number, the integral is zero; negative values cancel with the positive values. But if the number is even, the integral is positive. The previous demonstration assumed that the ϕ ϕ s would only match up in pairs.