コンウェイとノートンによって考案された予想は、(RichardEwenBorcherds)により1992年に、弦理論や(vertexoperatoralgebra)の理論やから証明された.
Ewen