theorem :: XPRIMES0:1862

not 1862 is prime