Minimax_theorem loading ...