IUTは1元体上のタイヒミュラー理論と見なせるのではないか?