theorem :: XPRIMES0:939

not 939 is prime