reducible이지?? 그냥 주어진 정역위에서 근을 가지면 reducible?