Talk:Cartan–Ambrose–Hicks theorem