>>797 補足
 >>790 で、自分でZ=X-Yを作ってたのに、うっかりしていたよ
 ぼけてるね。「零因子を除いたら、加法で閉じなくなる」ってことですね ;p)
 ダメ詰まりの手を打ってしまった・・ orz