“间接证明”的对称。直接用论据断定论题为真的证明方法。