Z[√-3]是一个唯一因子分解整环。()
出自:兰州工业大学线性代数