theorem :: XPRIMES0:590

not 590 is prime