Previously: Part 8. It’s the penultimate week of the course, and up until now we’ve abstained from using the axiom of choice. But this week we gorged on it.