column value
英文名稱 tape reduction theorem
中文名稱 帶縮減定理