如无相反证明的例子是什么