In 2002, P.J. Bushell and J.B. McLeod published an analytical proof for  n = 12 {\displaystyle n=12} .
2002年、P.J. Bushell と J.B. McLeod は n = 12 {\displaystyle n=12} のときの解析的な証明を発表した。