theorem :: XPRIMES0:1935

not 1935 is prime