16.12 Extend the simulation of Section 5.3.2 to prove: If there is a k-set consensus algorithm for a system of n > k processors that tolerates the failure of k processors, then there is a wait-free k-set consensus algorithm for a system of k processors.