theorem :: XPRIMES0:584

not 584 is prime