theorem :: XPRIMES0:580

not 580 is prime