三个泛函三个不动点定理

• functional theorem and fixed point theorem