theorem :: XPRIMES0:1878

not 1878 is prime