高木いわく整数の計算問題は苦手だって、証明問題はボロボロｗ