通过假设原论题不成立由此推出矛盾，从而得出原论题为真的间接论证是( )。