@erasmuse
Well, it is not my summary, it comes from an interview with the mathematical economist Hirofumi Uzawa.
Further into the interview, he states that he used to believe mathematics was inapplicable to economics, because of this proof, until he corresponded with Kenneth Arrow.