theorem :: XPRIMES0:1417

not 1417 is prime