分らないところがあるので教えてください。
>>452においてa_iとは(K[a_1,…,a_(i-1)][x_i])/(f_i( a_1,…,a_(i-1),x_i)K[a_1,…,a_(i-1)][x_i])ににおけるx_iの剰余類ってことで
いいんですか?