theorem :: XPRIMES0:880

not 880 is prime