theorem :: XPRIMES0:1982

not 1982 is prime