Triangle angle sum notes