column value
英文名稱 Ascoli lemma
中文名稱 亞士柯力輔助定理