pと((p^2)+1)/2がともに素数であるpは無限個存在するか.