压缩映射原理的等价命题及其构造性证明
압축영사원리적등개명제급기구조성증명
The Equivalent Theorem of Contraction Operator and its Constructing Proof