> The article shows this graphically, but there is no formal proof (although the Adler & Tanton paper is mentioned).

Well, if that interested you, you could have downloaded the paper and read it. To me your comment sounds a shade entitled, as if the blog author is under an obligation to do all the work. Sometimes one has to do the work themselves.