theorem :: XPRIMES0:922

not 922 is prime