Carnot's theorem — theorem about the sum of the distances from the circumcenter to the sides of an arbitrary triangle