theorem :: XPRIMES0:287

not 287 is prime