theorem :: XPRIMES0:1400

not 1400 is prime