其中formula_4表示勒让德符号，formula_5是第formula_6个斐波那契数，则称formula_1为沃尔-孙-孙素数（Wall-Sun-Sun prime）。1960年，唐纳德·丹斯·沃尔猜想是否存在这类数。1992年，孙智宏和孙智伟证明若费马大定理对于质数formula_1有一个反例使得它不成立，该质数应为沃尔-孙-孙素数。可惜费马大定理已经被证明了。目前已知若沃尔-孙-孙素数存在，它一定要大于formula_9。