>>88
　{st(ε)}^{st(ε)}=1
が言えれば良いんだけど、その時の x^y の定義には何を使うつもりだい？