theorem :: XPRIMES0:1587

not 1587 is prime