theorem :: XPRIMES0:935

not 935 is prime