>A ∩ A[x]bi＝A bi
左辺は、Aの部分集合、右辺は、 A[x] の一次以上の多項式を含む。
ココガオカシイ？