How to Write a Greedy Exchange Proof