Angle sum identity