theorem :: XPRIMES0:404

not 404 is prime