任意整环环中的元素都有素因子分解。()
出自:兰州工业大学线性代数