Abstract
We study exact solutions of thefour-point correlation functions around a vertex of the anti-ferroelectric six-vertex model. After showing thatan expression for the correlations is readily obtained by differentiating theknown exact solution of the free energy, we present a new expression for the correlationsderived through the recently developed vertex operator approach.It has the form of a double contour integralof a meromorphic function.To give a new verification of the vertex operator approachbeyond the case of the one-point function, we prove the equality of the two expressions by calculating thecontour integrals.