以前に指摘したように標数に対する仮定もいるだろ