Japanese theorem for cyclic polygons
In geometry, the Japanese theorem states that no matter how one triangulates a cyclic polygon, the sum of inradii of triangles is constant. Conversely, if the sum of inradii is independent of the triangulation, then the polygon is cyclic.
Source: Wikipedia — Japanese theorem for cyclic polygons (CC BY-SA 4.0)