theorem :: XPRIMES0:1940

not 1940 is prime