Another inconvenient truth for the theorem is that "a market economy of rational agents" is a mathematical fantasy and doesn't describe any real world market ever.