theorem :: XPRIMES1:977

977 is prime