Prove that if the numbers \(x, y, z\) satisfy the following system of equations for some values of \(p\) and \(q\): \[\begin{aligned} y &= x^2 + px + q,\\ z &= y^2 + py + q,\\ x &= z^2 + pz + q, \end{aligned}\] then the inequality \(x^2y + y^2z + z^2x \geq x^2z + y^2x + z^2y\) is satisfied.