证明假设和避开陷阱