We prove that if p is a prime with a primitive root 2 then S_p(2^p)=p and give a sufficient condition for an equality of kind S_p(2^p)=+or-p.
生成讲解博客的中文版本
生成AI智能校验的中文版本