¹Many ideas for this proof came from reading [HJE03]