ｐが素数とします。

「2^(p-1)+1の素因数qで、q≡1(mod p)を満たすものがある。」
が成り立つなら、ｐ＝2に限るといえますか。