Copy of triangle angle-sum theorem