theorem :: XPRIMES0:1939

not 1939 is prime