theorem :: XPRIMES0:1944

not 1944 is prime