3 ms·It's referred to as the Grothendieck Prime for this reason.by analog31 5mo agoIt's referred to as the Grothendieck Prime for this reason.