theorem :: XPRIMES0:1874

not 1874 is prime