前は最初からペレルマンが方針として示しただけだけど
今回は二人の数学者がちゃんと証明という形式で発表している