Fix proof of Theorem 2.11.1, close #461

Along the way I realized that the proof of 4.7.1 (2-out-of-3) could use a bit more detail.