The general solution for all k (the temperature variable) was found. The weights were also given in product form and it was tested computationally (on Fortran) that they satisfy the star–triangle relation. The proof was published later.