Talk:Browder–Minty theorem