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