theorem :: XPRIMES0:942

not 942 is prime