>>600
グロタンディーク予想知らなそう
グロタンディーク素数は知ってそう