theorem :: XPRIMES0:400

not 400 is prime