反证法应用举例