见〖反证法〗。