In 2002, P.J. Bushell and J.B. McLeod published an analytical proof for  n = 12 {\displaystyle n=12} .
2002 року PJ Bushell та JB McLeod опублікували аналітичні доведення для n = 12 {\displaystyle n=12} .