Legendre予想は他者が解決済みなので、別証明となる。
Firoozbakht予想も解決済みだと思われるが、別の証明を行った。