“間接證明”的對稱。直接用論據斷定論題為真的證明方法。