This proof isn't quite right. Step 3 is a new assumption that doesn't follow from anything before. The mean-median=mode inequality is true for "nice" distributions, but you have to define nice more carefully than this proof does. The author gives the Gaussian as an example of a nice distribution, but the Gaussian has no skew. You might think the Weibull is a nice distribution, but the inequality doesn't hold for the Weibull.
Thee following article has a good discussion of violations, with citations that clarify the conditions under which the inequality is true.
* Paul T. von Hippel. (2005). Mean, Median, and Skew: Correcting a Textbook Rule. _Journal of Statistics Education_ , Volume 13, Number 2, jse.amstat.org/v13n2/vonhippel.html