I have discovered a beautiful proof of this theorem, but this node is too short to write it down.
printable version
link view
Everything2 Help