빨간줄 친 부분이 잘 이해가 안됨..
5차다항식이기때문에 Z3에서 근을 갖지않는다고 해서 일반적으로 Z3에서 기약이라고 할순없다는건 알고있음
그렇다면 Z3에서 기약임을 어떻게 보여야되는지 잘 모르겠는데 설명 좀 해주시면 감사하겠음..