theorem :: XPRIMES0:1887

not 1887 is prime