theorem :: XPRIMES1:5077

5077 is prime