てか本人もぶんげんも、IUTでABC証明できるわけじゃないとかいってなかったっけ?
ABC証明されたってことでいいのかね?