事実は、IUT語によるIUTTは未完成なのに
京大PRIMSがIUT論文を受理しPRIMSはabc予想を証明したと宣言した。>>28