column value
英文名稱 uniqueness theorem
中文名稱 唯一定理