Problems 1.17 (only complete the proof, without the algorithm), 1.21, 1.23
Extra credit: second half of 1.17