R を実数全体からなる ring とする.f(x)∈R[x] とし, 次数を奇数とする.g(x)∈R[x] とし, 次数は f の次数より小さいとする.{(x,y);(x∈R)∧(y∈R)∧(y=f(x))}∩{(x,y);(x∈R)∧(y∈R)∧(y=g(x))} には少なくとも一元の要素が存在する.

続きを読む