> イデアルの演算の定義よりu=xy(x∈(m),y∈(n))と書くことが出来る。

ダウト