推理理论间接证法有哪些