This isn't a proof but if you want to understand it, these slides are alright: http://cs.brynmawr.edu/Courses/cs380/spring2013/section02/sl...

I recommend reading them through, but slide 39 is the tl;dr.