theorem :: XPRIMES0:1284

not 1284 is prime