16.1 Prove that in a solo execution of any k-set consensus algorithm, the processor must decide on its input value.