theorem :: XPRIMES0:1490

not 1490 is prime