theorem :: XPRIMES0:1418

not 1418 is prime