This paper provides a proof of a LLT-like test for Fermat numbers, based on the properties of Lucas Sequences and on the method of Lehmer.
生成讲解博客的中文版本
生成AI智能校验的中文版本