theorem :: XPRIMES1:823

823 is prime