5.4-5.5, due on October 1

1. I did not understand the cases that were done in 5.21. Why is there a need for cases?

2. It's interesting that you don't actually have to find which answer is true, you just have to prove that the answer does, in fact, exist.