Prove Lemma 4.10 and use it to prove that Dekker's algorithm satisfies the mutual exclusion property.