Proofs Convergence In Probability Implies