theorem :: XPRIMES0:1914

not 1914 is prime