Lemma 4 – Proof Consider a particular process in T and suppose it never reaches C The process eventually completes D and reaches T-D After that any new process that enters D perceives number[i] and chooses a higher number Thus, since does not reach C, none of these new processes reach...