theorem :: XPRIMES0:946

not 946 is prime