theorem :: XPRIMES0:1918

not 1918 is prime