theorem :: XPRIMES0:1917

not 1917 is prime