Casey's theorem

On four non-intersecting circles that lie inside a bigger circle and tangent to it

In mathematics, Casey's theorem, also known as the generalized Ptolemy's theorem, is a theorem in Euclidean geometry named after the Irish mathematician John Casey.