양의 정수 $a\ge b\ge c\ge d$가 주어져있다. 이때 방정식 $x^4-ax^3-bx^2-cx-d=0$에는 정수해가 없음을 증명하라.
(2013년 2월 3일, 출처)