“…Proof. We have, according to (6), that lim n→∞ d(x n , Tx n ) converges, and since, by assumption, T is demicompact, there exists a subsequence {x n k } ⊆ {x n } converging to some point p ∈ C. On the other hand, p is also the ∆-limit of {x n k }, and hence, p ∈ Fix(T). Lastly, the fact that the entire sequence {x n } n≥0 converges to p follows from the inequality d(x n+1 , p) ≤ d(x n , p), n ≥ 0, established above.…”