・まず、根本はIUTの証明が成り立っているかどうでしょ？
・成り立っているなら、無問題
・ギャップがあっても、軽微で修正可なら修正すれば良い
・説明不足で分からんという人には、説明するしかない
・問題は、不成立で、修正もできない場合→ドボン

　なお、証明は正しいが、他には応用できない例：４色問題
　そういうのもあるにはある
　IUTが、それかどうか知らないが