mと2m+1がともに素数となるものをソフィー・ジェルマン素数という。
無数に存在するかどうかは未解決問題のはず。