>>224は係数体の標数が0でなかったら成り立たない