10.5 part 2, due on November 14

1. I didn't really understand the function that appeared in the proof.

2. The story is interesting. I'm glad that I don't have to figure out all of these proofs from nothing.