怎没用假设证明法