>>618
>>619
ふむふむ。単位元を含むというのは余計なわけですね。
ところで、ミクシンスキというのは何ですか? 本の名前?