As a result, the final proof in 1995 was accompanied by a smaller joint paper showing that the fixed steps were valid.
Kết quả là, chứng minh được công bố cuối cùng năm 1995 được kèm theo một báo cáo thứ hai nhỏ hơn cho thấy rằng các bước cố định là hợp lệ.