多項式環で成り立つ。