Gorenstein (d.1992), Lyons, and Solomon are gradually publishing a simplified and revised version of the proof.
ويقوم كلٌ من غورينشتاين (ت 1922) وليونز، وسولومون بنشر نسخة مبسطة ومنقحة من الدليل بصورة تدريجية.