Peskin Schroeder ϕ4ϕ4\phi^4 renormalización de masa

Justo antes de su declaración de que las primeras correcciones distintas de cero a la$\phi^4$-propagator son los que indicó, calculan las correcciones de un bucle, utilizando condiciones de renormalización en el shell , y descubren que son cero:

Parece que para el$\mathcal{O}(\lambda^2)$(dos bucles), uno debe considerar no solo el diagrama que señaló, sino otro con una inserción de contratérmino, que lo cancela debido al resultado anterior de un bucle en el esquema considerado. Esquemáticamente:

Donde el cuarto diagrama corresponde al que dibujaste y el quinto término es el$\mathcal{O}(\lambda^2)$contribución con la inserción del contratérmino.