On Christmas Eve, 1983, Dean Jixon, the famous seer who had made startling predictions of the events of the preceding year that the volcanic and seismic activities of 1980 and 1981 were connected with mathematics. The diminishing of this geological activity depended upon the existence of an elementary proof of the irreducibility of the polynomial P(x)=x1981+x1980+12x2+24x+1983. Is there such a proof? algebrapolynomialalgorithmPolynomials