>>107
> st(ε)=st(μ)=0のときst(ε↑μ)=1かどうかで、
も良いんだけど、証明が必要なのはこちらです。

> こっちは成立しない。
とは、何か理由があるんですか？