theorem :: XPRIMES0:1870

not 1870 is prime