theorem :: XPRIMES0:934

not 934 is prime