展开 不动点定理证明