theorem :: XPRIMES0:938

not 938 is prime