theorem :: XPRIMES0:1866

not 1866 is prime