theorem :: XPRIMES1:859

859 is prime