4.用相邻闭链定理证明四色猜想成立