theorem :: XPRIMES0:1401

not 1401 is prime