It's worth noting that there's a number of annotations added that make the proof much easier to follow for someone whose calculus is not quite as... hum... fres

It's worth noting that there's a number of annotations added that make the proof much easier to follow for someone whose calculus is not quite as... hum... fresh as the proof expects.