迭代定理

iteration theorem