22角成まで互角なら、いくら時間使っても結論でないな