选
言
证
明
xuǎn yán zhèng míng
英文翻译
Disjunctive proof