theorem :: XPRIMES0:1980

not 1980 is prime