Gage–Hamilton–Grayson theorem