I have discovered a truly marvelous proof of this theorem, which this doodle is too small to contain. Aug 17, 2011
