グロタンディーク素数(;´Д`)明日の朝礼に使うか