theorem :: XPRIMES0:1403

not 1403 is prime