theorem :: XPRIMES0:1888

not 1888 is prime