theorem :: XPRIMES0:1908

not 1908 is prime