16.25 Prove that [1..2k+1] is the new name space used by Algorithm 57, even when more than k processors participate concurrently.