"A bizonyítás oly összetett, hogy a számelméleti matematikusok közül is csak néhányan képesek megérteni." [forrás]