theorem :: XPRIMES0:1942

not 1942 is prime