Using an existing result from calculus called Brower's Fixed-Point Theorem, they proved that at least one solution could be found.

ECONOMIST: Fuzzy logic