Browder-Minty theorem
 
x
OK