theorem :: XPRIMES0:1875

not 1875 is prime