theorem :: XPRIMES0:1585

not 1585 is prime