And just in case you weren't perfectly satisfied with the level of mathematical rigor of the article, here is a complete, formal, machine-verified and hyperlinked version of the proof: http://us.metamath.org/mpegif/eulerid.html