Chứng minh định lí gauss-bonnet địa phương - Trần, Đức Anh (2023)