ここから書き込み
（ｘ、τ'Ａ*τｙ）＝　（ｘ、τ'Ａ*（ｘ、ｙ））
A*はもともと、Aｘを関数（・、ｙ）に入力したときに、同じ値をあたえる関数を
対応させる作用素です。ですから、
Ａ*（・、ｙ）＝ （Ax, ｙ）
となります。つぎに
(Aｘ、ｙ）＝　（・、ｚ）　　　　（１）
とおきますと、
（ｘ、τ'Ａ*（・、ｙ）） ＝ （ｘ、ｚ）
となります。ここで（１）式を見ると
（ｘ、τ'Ａ*（・、ｙ）） ＝　（Ax, ｙ）