年内に道具を整えておきたかったので，最終日に強行． 不変積分を定義して，表現の行列要素の直交性． ここでしばらく躓いてとどまったのだが，基底を取り固定した議論で回避． その後，正則表現とその既約分解から導かれる諸事実，特に指標の直交関係， Fou…