4.3反例与证明