  In this text, we provide a detailed exposition of the Algebraic Bethe ansatz
for square ice (or six vertex model), which allows the construction of
candidate eigenvectors for the transfer matrices of this model. We also prove
some formula of V.E. Korepin for these vectors, which leads to an
identification, up to a non-zero complex factor, with the vector obtained by
coordinate Bethe ansatz.
