Triangle angle sum theorem