Compare a proof in a text book or most papers with this: http://us.metamath.org/mpegif/mmset.html