Change title
Change title and correct one equation in proof