column value
英文名稱 proof by exhaustion
中文名稱 窮舉法[證明]