Triangle sum theorem