grothendieckprime