theorem :: XPRIMES0:1422

not 1422 is prime