>>251の反例
グロタンディーク素数