Angle sum theorem