theorem :: XPRIMES0:1590

not 1590 is prime