theorem :: XPRIMES0:1938

not 1938 is prime