TODO: Outline the proof, which is simple and beautiful.