theorem :: XPRIMES0:1922

not 1922 is prime