theorem :: XPRIMES0:422

not 422 is prime