如何用对称和传递推导自反(反证法)