column value
英文名稱 Theorem,upper bound
中文名稱 上限定理