theorem :: XPRIMES0:1880

not 1880 is prime