なお、過去に同じ指摘があったと思うが、p^n+…+1はp≧0の範囲で単調増加だから、2b=c(p^n+…+1)の関係式を方程式としても、これを満たす素数pは高々1個しかない。つまり複数存在することはない。