A complete derivation was only given in 1951 by Yang (1952) using a limiting process of transfer matrix eigenvalues. The proof was subsequently greatly simplified in 1963 by Montroll, Potts, and Ward using Szegő 's limit formula for Toeplitz determinants by treating the magnetization as the limit of correlation functions.