theorem :: XPRIMES0:1584

not 1584 is prime