どのみち、IUTは自明でないグローバルな不変量の構成に失敗しているという話だろ
リーマンは複素関数の場合に上手いラベル付けと貼り合わせを実現した