The second Legendre transform of the P(φ)2 generating functional

We prove the existence of the second Legendre transform of the generating functional of connected Green's functions for even weakly coupled P(φ)2 models. The transformed functional is the generator of two particle irreducible graphs.