theorem :: XPRIMES1:821

821 is prime