素数 "p" &gt; 7は、次の合同関係を満たすときウォルステンホルム素数という。