証明自体は合ってるけど論文の体裁が気に入らないという議論のほかに
IUTそのものが正しいかどうかでも議論があるのか
誰か分かりやすく派閥関係をまとめてくれないかな