グロタンディーク素数とかも話のネタに困ったときとか使う〜笑