theorem :: XPRIMES0:944

not 944 is prime