未解決問題の証明は多少の困難があっても、いいのではないのでしょうか?