theorem :: XPRIMES0:583

not 583 is prime