theorem :: XPRIMES0:940

not 940 is prime