复习笔记 Day67(5)

再证明命题的后半段：若，那么
矛盾

现在来证明原命题：
若命题不成立，则，使得，又设不动点为