IUTの根幹が足し算と掛け算の複雑な絡み合いを整理してわかりやすく表示してる装置みたいなものだから証明もクソもないんだっけか