theorem :: XPRIMES0:490

not 490 is prime