P
Initializing...
Proposition 2 — φ(y_n, z_n) → 0 with one sequence bounded implies y_n − z_n → 0 · Prove2Me