Can some ppl help me as I can’t see the reason why: Given B is a local ring, m its maximal ideal K is field of fractions of B, x is in K B’=B[x], m’=m[x] There is an embedding of k=B/m in the field k’=B’/m’ Then it said that “k’=k[xbar], where xbar is the image of x in k’, and then said xbar is algebraic over k.”