(n+1)^n+1-n^nは素数になる。
ただしnは自然数とする。
「証明できたら素敵」って彼女に言われた。
誰か素敵になってくれ。