Talk:Sumihiro's theorem