Selle kohta öeldi, et «kõik füüsikud teavad ja kõik matemaatikud usuvad», et see nii on. Et matemaatikute usust saaks teadmine, kulus ligi neli sajandit. Vastava matemaatilise teoreemi tõestuse andis Ameerika matemaatik Thomas Callister Hales alles 1998. aastal. See tõestus sisaldab umbes sada lehekülge teksti, lisaks veel kolm GB arvutiprogramme ja arvutuste tulemusi.