Nash's theorem

MAS

Any finite strategic game has a Nash Equilibrium in mixed strategies.

PPAD difficult to prove. Only proves existence, finding one is infinitely hard, because of the property of support