theorem :: XPRIMES0:1406

not 1406 is prime