What we have shown is that if something is competitive market equilibrium, but it is the case that is not Pareto optimal, then we can derive an implication that shows that the firms were not maximizing profits at alpha star, which of course cannot be a competitive market equilibria, therefore we get contradiction, therefore the that alpha star is not pareto optimal. 