The proof was published in the "Journal für die reine und angewandte Mathematik", 2004.
Aprila 2002 jo je končno dokazal romunski matematik Preda Mihăilescu z Univerze v Paderbornu in sedaj velja kot izrek.