5.4-5.5, due on February 3

1. These sections don't seem too bad. The only new thing we have to do is in 5.5 where we figure out how to turn the proof into something that we can prove using the methods we already know.

2. I feel like 5.4 is the opposite of disproving stuff. It's probably going to take a little more thinking, because it's not too hard to find examples of why something doesn't work, but it's a little harder to find the example of when something is true.