未解決問題のひとつ、ポアンカレ予想はどうやら解けたようなので、
残り６つだ。頑張れ！