he must simply let it ride umubare w abahari uko waba ungana kose varshamov proved this bound by using the probabilistic method for linear codes