不动点定理证明dqn