theorem :: XPRIMES1:827

827 is prime