>>342
t≠0 とすると A=-(s/t)E
AがEの定数倍であることに反する。よって t=0
このとき sA=Oから s=0
逆は明らか。