theorem :: XPRIMES0:1834

not 1834 is prime