theorem :: XPRIMES0:1923

not 1923 is prime