f; K -> L이 ring isomorphism일 때 K[x]의 원소 p(x)=a0+a1x+...+anx^n가 irreducible이면 L[x]의 원소 p*(x)=f(a0)+f(a1)x+...+f(an)x^n도 irreducible이다.

이걸 보이고 싶은데 증명이 안되네.. 어떻게 증명하면 될까?

- dc official App