theorem :: XPRIMES0:403

not 403 is prime