`n_0 = 1` 时结论显然, 下面设 `n_0 gt 1`.
设 `f(x_1) = f(x_2)`, 则 `x_1 = f_(n_0)(x_1)` `= f_(n_0-1)(f(x_1))` `= f_(n_0-1)(f(x_2))` `= f_(n_0)(x_2)` `= x_2`, 所以 f 为单射. f 当然是 `RR` 到其象 `f(RR)` 上的满射, 从而是一一映射.
由
`f(f^-1(B))`
`= {f(x): x in f^-1(B)}`
`= {f(x): x in {x in X: f(x) in B}}`
`= {f(x): x in X, f(x) in B}`
知, `f(f^-1(B)) sube B`. 设 `f` 为满射, 则对 `AA y in B`,
`EE x in X`, `f(x) = y`. 故 `f(f^-1(B)) supe B`. 反之, 若对
`AA B sube Y`, `f(f^-1(B)) supe B`, 则对 `AA y in Y`,
`EE x in X`, `f(x) in {y}`, 即 `f(x) = y`. 故 `f` 为满射.