theorem :: XPRIMES0:1934

not 1934 is prime