Regular Heptagon Identity
The regular heptagon identity is a relationship that is derived from
repeatedly applying Ptolemy's theorem to a heptagon, by breaking it down
into constituting quadrilaterals.
See if you can find what it is.