theorem :: XPRIMES0:1929

not 1929 is prime