theorem :: XPRIMES0:1390

not 1390 is prime