theorem :: XPRIMES0:585

not 585 is prime