ショルツは明確に特定のダイアグラムの可換性が成り立ってないって言ってるんだから、
それを否定すればいいんだよ。
IUT肯定側がすればいいことはとてつもなく明白なわけだが。