theorem :: XPRIMES1:863

863 is prime